Two-by-Two Substitution Systems and the Undecidability of the Domino Problem
نویسنده
چکیده
Thanks to a careful study of elementary properties of two-bytwo substitution systems, we give a complete self-contained elementary construction of an aperiodic tile set and sketch how to use this tile set to elementary prove the undecidability of the classical Domino Problem.
منابع مشابه
The periodic domino problem revisited
In this article we give a new proof of the undecidability of the periodic domino problem. The main difference with the previous proofs is that this one does not start from a proof of the undecidability of the (general) domino problem but only from the existence of an aperiodic tileset. The formalism of Wang tiles was introduced in [Wan61] to study decision procedures for the ∀∃∀ fragment of the...
متن کاملProviding an algorithm for solving general optimization problems based on Domino theory
Optimization is a very important process in engineering. Engineers can create better production only if they make use of optimization tools in reduction of its costs including consumption time. Many of the engineering real-word problems are of course non-solvable mathematically (by mathematical programming solvers). Therefore, meta-heuristic optimization algorithms are needed to solve these pro...
متن کاملApplication of queuing theory in inventory systems with substitution flexibility
Considering the competition in today’s business environment, tactical planning of a supply chain becomes more complex than before. In many multi-product inventory systems, substitution flexibility can improve profits. This paper aims to prepare a comprehensive substitution inventory model, where an inventory system with two substitute products with ignorable lead time has been considered, and e...
متن کاملQuantitative evaluation of the domino effects of the explosion caused by the CNG fuel station using consequence modeling and GIS
Introduction: compressed natural gas stations are one of the most critical and dangerous urban land uses and should be highly regarded. The domino effects of accidents are essential concepts in urban areas. The present study aims to analyze explosive domino accidents at compressed natural gas stations (CNG). Modeling the consequence in fuel stations can minimize the likelihood of a crisis and l...
متن کاملInverse nodal problem for p-Laplacian with two potential functions
In this study, inverse nodal problem is solved for the p-Laplacian operator with two potential functions. We present some asymptotic formulas which have been proved in [17,18] for the eigenvalues, nodal points and nodal lengths, provided that a potential function is unknown. Then, using the nodal points we reconstruct the potential function and its derivatives. We also introduce a solution of i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008